Proceedings of Machine Learning Research, 4th International Conference on Predictive Applications and APIs An Architecture and Domain Specific Language Framework for Repeated Domain-Specific Predictive M

Source URL: proceedings.mlr.press

• Software engineering
• Computing
• Modeling and simulation
• Software architecture
• Software design
• Domain-specific language
• Domain-driven design
• Conceptual model
• Architectural pattern
• Scientific modelling
• Domain-specific modeling
• Feature engineering

An Object-Oriented Framework for Explicit-State Model Checking Mark Kattenbelt1 and Theo C. Ruys2 and Arend Rensink2 Abstract. This paper presents a conceptual architecture for an object-oriented framework to support the

Source URL: qav.comlab.ox.ac.uk

• Theoretical computer science
• Formal methods
• Computing
• Mathematics
• Logic in computer science
• Graph rewriting
• Model checking
• Algorithm
• Formal verification
• Abstraction
• Generic programming
• Finite-state machine

Contemporary didactics in architectural education Contemporary didactics in architectural education is a basic pedagogical course, developed within the framework of the national research school in architecture, ResArc an

Source URL: resarc.se

D5.1 Integration of COMET Prototype… Seventh Framework STREP NoCommercial in Confidence COntent Mediator architecture

Source URL: www.comet-project.org

COntent Mediator architecture for content-aware nETworks European Seventh Framework Project FP7-2010-ICTSTREP Deliverable D3.1 Interim Specification of Mechanisms, Protocols

Source URL: www.comet-project.org

COntent Mediator architecture for content-aware nETworks European Seventh Framework Project FP7-2010-ICTSTREP Deliverable D4.2 Final Specification of

Source URL: www.comet-project.org

COntent Mediator architecture for content-aware nETworks European Seventh Framework Project FP7-2010-ICTSTREP Deliverable D7.1 Dissemination and Standardisation Plan and

Source URL: www.comet-project.org

SPECIAL Scalable Policy-awarE Linked Data arChitecture for prIvacy, trAnsparency and compLiance Deliverable D2.3 Transparency Framework V1

Source URL: www.specialprivacy.eu

Record-­‐Replay  Architecture  as  a   General  Security  Framework   Yasser  Shalabi1,  Mengjia  Yan1,  Nima   Honarmand2,  Ruby  B.  Lee3,  and  Josep  Torrellas1   1Unive

Source URL: iacoma.cs.uiuc.edu

Record-Replay Architecture as a General Security Framework Yasser Shalabi, Mengjia Yan, Nima Honarmand,† Ruby B. Lee,‡ and Josep Torrellas University of Illinois at Urbana-Champaign http:// Brook U

Source URL: iacoma.cs.uiuc.edu